離散数学

オートマトン、文法および形式言語